All Versions
9
Latest Version
Avg Release Cycle
27 days
Latest Release
1603 days ago

Changelog History

  • v0.6.0.2 Changes

    December 26, 2019

    🔄 Changelog

    • ➕ Add back correct clean function in reduction step.

  • v0.6.0.1 Changes

    December 26, 2019

    🔄 Changelog

    • ➕ Add configuration to set default yosys version (default.yosys).
    • ➕ Add documentation for all the configuration options.

  • v0.6.0.0

    December 25, 2019

  • v0.5.0.1

    December 02, 2019

  • v0.5.0.0 Changes

    November 24, 2019

    🔄 Changelog

    🐛 Bug fixes

    • Mask the output of simulator based on golden design #58.
    • ⚡️ Update dependency for Hedgehog #63.
    • Error in for loop reduction #64.
    • 🛠 Fix parser with new modules #65.

    🔋 Features

    • ➕ Added support for Quartus and Quartus light.
    • ➕ Added flags to control fuzz run.
    • ➕ Added flags to rerun fuzz run with custom Verilog.

  • v0.4.0.1 Changes

    October 25, 2019
    • 🛠 Fix generation of module instances with missing connections.

  • v0.4.0.0 Changes

    October 07, 2019
    • 🏗 Reproducible builds and newest dependencies.

  • v0.3.1.0 Changes

    July 23, 2019
    • ➕ Add proper generation of modules
    • ➕ Add nix build instead of stack

  • v0.3.0.0 Changes

    May 21, 2019
    • ➕ Add report backend and new fuzz loop